1. Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
پدیدآورنده: / Bob Coecke, Luke Ong, Prakash Panangaden
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Computation, logic, games, and quantum foundations :
پدیدآورنده: Bob Coecke, Luke Ong, Prakash Panangaden (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Abramsky, Samsom.,Jocs, Teoria de.,Lògica informàtica.
رده :
QA76
.
B633
2013
3. Computer science logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings
پدیدآورنده: Luke Ong )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3634
4. Foundations of Software Science and Computational Structures
پدیدآورنده: / Luke Ong
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
5. Foundations of software science and computational structures
پدیدآورنده: / Luke Ong (Ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: System analysis, Congresses
رده :
QA76
.
751
.
F67
2010
6. Logic, Language, Information and Computation
پدیدآورنده: / Luke Ong, Ruy Queiroz
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
7. Logic, language, information and computation
پدیدآورنده: Luke Ong, Ruy de Queiroz (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W64
2012eb
8. 28, 2010. Proceedings-Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20
پدیدآورنده: / Colin Stirling (auth.), Luke Ong (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
9. 3, 2011. Proceedings-Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1
پدیدآورنده: / Alexandre Miquel (auth.), Luke Ong (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
10. Typed Lambda Calculi and Applications
پدیدآورنده: / Luke Ong
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
11. Typed lambda calculi and applications
پدیدآورنده: [edited by]& Luke Ong
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع:
